Rajeev Alur - PDFSEARCH.IO - Document Search Engine

Rajeev Alur
Results: 97

#	Item
71	Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs ∗ Rajeev Alur ˇ y Pavol Cern´ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-01-12 13:19:23
72	Automated Refinement Checking of Asynchronous Processes Rajeev Alur University of Pennsylvania www.cis.upenn.edu/~alur/ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:11
73	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-23 09:46:13
74	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. XX, NO. Y, YEAR 100 Inference of Message Sequence Charts Rajeev Alur, Kousha Etessami, Mihalis Yannakakis Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:16 Microsoft Cluster Server Message Sequence Chart Mathematics Computing Applied mathematics Formal languages Automata theory Model theory
75	Preserving Secrecy under Refinement ? ˇ y, and Steve Zdancewic Rajeev Alur, Pavol Cern´ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:27 Constructible universe Valuation Ordinal number Equivalence relation Distribution Mathematical analysis Mathematics Algebraic geometry
76	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin Department of Computer Science University of Pennsylvania {sburckha, alur, m Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-12-21 11:42:39
77	Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-08 01:07:27 Computer science Rajeev Alur Formal sciences Automata theory Model checking IEEE Symposium on Logic in Computer Science Formal methods Formal verification Symposium on Theory of Computing Theoretical computer science Applied mathematics Logic in computer science
78	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics
79	Algorithmic Analysis of Array-Accessing Programs ? ˇ Rajeev Alur, Pavol Cern´ y, and Scott Weinstein University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-06-22 08:52:31 Mathematics Formal languages Computer science Finite state transducer Finite-state machine Nondeterministic finite automaton Petri net FO Variable Automata theory Models of computation Theoretical computer science
80	A Fixpoint Calculus for Local and Global Program Flows Rajeev Alur Swarat Chaudhuri P. Madhusudan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:53 Formal languages Metalogic Automata theory Kripke semantics Sheaf theory Partition Nested word Well-formed formula Model theory Logic Mathematics Mathematical logic

UPDATE